Equal<X, Y>

code:ts

// prettier-ignore

type Equal<X, Y> =

(<T>() => T extends X ? 1 : 2) extends (<T>() => T extends Y ? 1 : 2)

? true

: false;

code:ts

type NotEqual<X, Y> = true extends Equal<X, Y> ? false : true